theme: Reduce spacing between pagination dots

Now folder dialogs and the app grid have the same styling
for the pagination dots.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1554>

diff --git a/data/theme/gnome-shell-sass/widgets/_app-grid.scss b/data/theme/gnome-shell-sass/widgets/_app-grid.scss
index c84377bc79a75a28f680c80aa2ca288022aa8c66..8218a968cf85973d59cdfb04a887fe8b7ef6a4dc 100644 (file)
--- a/data/theme/gnome-shell-sass/widgets/_app-grid.scss
+++ b/data/theme/gnome-shell-sass/widgets/_app-grid.scss
@@ -81,10 +81,6 @@ $app_grid_fg_color: #fff;
 
   & .page-indicators {
     margin-bottom: 18px;
-
-    .page-indicator {
-      padding: 15px 12px;
-    }
   }
 }
 .app-folder-dialog-container {
@@ -125,7 +121,7 @@ $app_grid_fg_color: #fff;
 
 // App Grid pagination indicators
 .page-indicator {
-  padding: 15px 20px;
+  padding: 15px 12px;
 
   .page-indicator-icon {
     width: 10px;